COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	BEGIN "CTRANS"
C00004 ENDMK
C⊗;
BEGIN "CTRANS"

INTEGER CH,IEOF,OEOF,IBR,OBR,fg;
STRING IFILE,OFILE;
simple procedure xout(string s);
	begin
	fg←1;
	out(2,s);
	end;

OPEN(1,"DSK",0,8,0,1,IBR,IEOF);
OPEN(2,"DSK",0,0,8,1,IBR,IEOF);

SETBREAK(1,NULL,NULL,"INS");

WHILE TRUE DO
	BEGIN "FL"
	IEOF←-1;
	WHILE IEOF DO
		BEGIN
		OUTSTR("INPUT FILE=");
		IF ¬LENGTH(IFILE←INCHWL) THEN DONE "FL";
		LOOKUP(1,IFILE,IEOF);
		END;
	OUTSTR("OUTPUT FILE=");
	OFILE←INCHWL;
	IF ¬LENGTH(OFILE) THEN OFILE←IFILE;
	ENTER(2,OFILE,OEOF);
	IF OEOF THEN 
		BEGIN
		OUTSTR("LOSER!
");
		CONTINUE "FL";
		END;
	fg←0;
	WHILE ¬IEOF DO
		BEGIN
		CH←INPUT(1,1);
		IF CH="α" THEN
			BEGIN
			CH←INPUT(1,1);
			IF CH="∞" THEN
				OUT(2,"%7α∞%*")
			ELSE
				BEGIN
				OUT(2,"α");
				OUT(2,CH);
				END;
			END
		ELSE IF CH="≠" THEN
			OUT(2,"%7≠%*")
		ELSE IF CH="≥" THEN
			OUT(2,"%7≥%*")
		ELSE IF CH="≡" THEN
			OUT(2,"%7≡%*")
		ELSE IF CH="∨" THEN 
			OUT(2,"%7∨%*")
		ELSE
			OUT(2,CH);
		END;
	CLOSE(1);
	CLOSE(2);
	END;

END